topological algebraic system

[数] 拓扑代数系